Abstract machine - PDFSEARCH.IO - Document Search Engine

Abstract machine
Results: 823

#	Item
91	Artificial Neural Networks Martin Anthony Abstract ‘Artificial neural networks’ are machines (or models of computation) based loosely on the ways in which the brain is believed to work. In this chapter, we discuss so Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2000-04-03 14:18:14 Artificial neural networks Feedforward neural network Perceptron Boltzmann machine Backpropagation Supervised learning Artificial neuron Restricted Boltzmann machine Deep learning
92	Tutorial: Computational Intelligence and Games Simon M. Lucas, University of Essex, UK Clare Bates Congdon, University of Southern Maine, USA Abstract Add to Reading List Source URL: www.conference123.org Language: English - Date: 2014-07-16 23:21:59 Cybernetics Machine learning Artificial intelligence Computational intelligence Evolutionary algorithm
93	Declarative Verifiable SDI Specifications Rick McGeer US Ignite ABSTRACT Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:43 Theoretical computer science Formal methods Formal verification Software-defined networking Software verification Turing machine Finite-state machine Model checking Temporal logic OpenFlow Computer science Distributed computing
94	A Formal Model of Crash Recovery in Distributed Software Transactional Memory (Extended Abstract) Paweł T. Wojciechowski, Jan Kończak Poznań University of TechnologyPoznań, Poland Add to Reading List Source URL: rp-www.cs.usyd.edu.au Language: English Transaction processing Fault-tolerant computer systems Data management Concurrency control Databases Paxos Replication Software transactional memory State machine replication Consensus Database transaction Transactional memory
95	Labeled Faces in the Wild: A Survey Erik Learned-Miller, Gary Huang, Aruni RoyChowdhury, Haoxiang Li, Gang Hua Abstract In 2007, Labeled Faces in the Wild was released in an effort to spur research in face recognition, s Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2015-08-15 14:59:56 Face recognition Computational neuroscience Machine learning Biometrics Computer vision Facial recognition system Face Recognition Grand Challenge Convolutional neural network Semi-supervised learning Artificial neural network
96	Learning the Synergy of a New Teammate Somchaya Liemhetcharat and Manuela Veloso School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA and Abstract— In many Add to Reading List Source URL: somchaya.org Language: English - Date: 2014-05-05 11:44:36 Algorithm Mathematical logic Theoretical computer science Graph Simulated annealing Machine learning Connected component Robotics
97	Abstract Interpretation: Exercises for day 3 [Note: you are welcome to program these exercises in groups of 2] February 4, Implement the Parity analysis of the 3 counter machine in OCaml, including pretty printin Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-03 18:23:35 OCaml Abstract interpretation FO
98	Boosting in the Online Setting Charles Marsh Abstract Boosting in the batch setting is a well-known machine learning technique with strong theoretical foundations and extensive use in practice. In t Add to Reading List Source URL: www.crmarsh.com Language: English - Date: 2016-06-12 18:28:24 Ensemble learning AdaBoost Boosting LPBoost Decision stump K-nearest neighbors algorithm Gradient boosting
99	Static Analysis of Finite Precision Computations Eric Goubault and Sylvie Putot CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point courrier 94, Gif-sur-Yvette, FFrance, Firstname.Las Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-11-15 04:17:50 Computer arithmetic Abstract interpretation Interval arithmetic Rounding Floating point Affine arithmetic Interval Function Limit of a function NaN Fixed-point arithmetic Machine epsilon
100	Conservation Laws in Cellular Automata Siamak Taati Abstract A conservation law in a cellular automaton is the statement of the invariance of a local and additive energy-like quantity. This chapter reviews the basic theo Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:36:32 Cellular automata Dynamical systems Cellular automaton Systems theory Turing machine Block cellular automaton

UPDATE